Skip to content

Conversation

Tachi107
Copy link
Contributor

This is a follow-up to commit 4ff7a1c, which introduced new simplified build options and deprecated the old ones. I forgot to also change the various get_option() calls, effectively rendering the new option names useless, as they would not get honoured.

This is a follow-up to commit 4ff7a1c,
which introduced new simplified build options and deprecated the old
ones. I forgot to also change the various get_option() calls,
effectively rendering the new option names useless, as they would not
get honoured.
@yhirose yhirose merged commit fe7fe15 into yhirose:master Aug 19, 2025
10 checks passed
@yhirose
Copy link
Owner

yhirose commented Aug 19, 2025

@Tachi107 thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants